Strategy Machines and Their Complexity
نویسنده
چکیده
We introduce a machine model for the execution of strategies in (regular) infinite games that refines the standard model of Mealy automata. This model of controllers is formalized in the terminological framework of Turing machines. We show how polynomially sized controllers can be found for Muller and Streett games. We are able to distinguish aspects of executing strategies (”size”, ”latency”, ”space consumption”) that are not visible in Mealy automata. We show upper and lower bounds for these parameters for several classes of ω-regular games.
منابع مشابه
The effects of Concept Mapping Strategy and Aural Vs. Written Prompts on Writing Test Performance Under Different Planning Conditions
This study examined the effects of aural and written prompts under two planning conditions (i.e. pre-task planning and no planning) on complexity, accuracy, and fluency of test takers' writing production. Forty learners in an English institute, who had already been classified as intermediate according to the Oxford Placement Test, were assigned to two planning conditions (i.e. no planning and p...
متن کاملرابطه استراتژی و ساختار سازمانی: یک مقایسه تطبیقی بین بیمارستان های دولتی و خصوصی تهران در سال 1390
Background: Strategy is one of the important factors affecting the organizational structure. Taking the relationship between these two mentioned factors into consideration is essential. This study surveys the relationship between organizational structure and strategies of public and private hospitals in Tehran.Materials & Methods: This study is a descriptive and analytical study of 20 selecte...
متن کاملTask Scheduling Algorithm Using Covariance Matrix Adaptation Evolution Strategy (CMA-ES) in Cloud Computing
The cloud computing is considered as a computational model which provides the uses requests with resources upon any demand and needs.The need for planning the scheduling of the user's jobs has emerged as an important challenge in the field of cloud computing. It is mainly due to several reasons, including ever-increasing advancements of information technology and an increase of applications and...
متن کاملDepiction of the Future: Intervention Strategy in Social Systems
Regarding the complexity of social systems and the presence of autonomousintervenes, designing and making the future requires a special strategy, which can harmonize these elements with itself. This can be possible by future depicting, which makes an insight into the desired fUture, and presents a real perspective of it; and/or it promotes a planned perception of the desired status to impose a...
متن کاملStrategy Machines and their Complexity (with addendum)
We introduce a machine model for the execution of strategies in (regular) infinite games that refines the standard model of Mealy automata. This model of controllers is formalized in the terminological framework of Turing machines. We show how polynomially sized controllers can be found for Muller and Streett games. We are able to distinguish aspects of executing strategies (“size”, “latency”, ...
متن کاملInvestigating Direct Torque Control of Six-Phase Induction Machines Under Open Phase Fault Conditions
This paper presents analysis and evaluation of classical direct torque control(DTC), for controlling a symmetrical six phase induction motor (SPIM) under open phasefault conditions. The machine has two three-phase windings spatially shifted by 60 electricaldegrees. The strategy of the proposed method consists of choosing the switching modesaccording to the configuration of living phases in such...
متن کامل